OnlineWoerterBuecher.de
Navigation
Start
Deutsch-Englisch
Deutsch-Spanisch
Enzyklopädie
Internes
Impressum
Kontakt
Free On-line Dictionary of Computing: Search Results
Search Results for:
normal order reduction
Results in the term's title:
·
normal order reduction
Results in the term's text:
·
applicative order reduction
·
call-by-name
·
Computational Adequacy Theorem
·
head normalisation theorem
·
parallel reduction
·
reduction
·
reduction strategy
[
Return to Free On-line Dictionary of Computing
]
[
Go Back
]
All logos and trademarks in this site are property of their respective owner.
Page Generation in 0.0443 Seconds, with 15 Database-Queries